Lógica Computacional

Licenciatura em Ciências da Computação - 2º ano

Search: ^m

Education/LC Web Changed Changed by
MFES0809 05 Dec 2008 - 23:17 - r3 JoseBacelarAlmeida
Análise, Modelação e Teste de Software MFES Mestrado de Informática 13/11/2008 "Design by Contract and Java Modeling Language": apresentação do conceito e clausulas ...
MaterialApoio 18 Feb 2010 - 13:00 - r15 OlgaPacheco
Slides Lógica Proposicional I Cálculo de Sequentes (versão: 11/06/2008) Lógica Proposicional II Método Tableaux , Formas Clausais, Resolução (versão: 11 ...
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM